Reiner Hähnle: ძიება ვებგვერდზე Z-Library

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

Don't use scam websites

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Springer International Publishing

Reiner Hähnle, Wil van der Aalst

წელი:

2019

ენა:

english

ფაილი:

PDF, 26.70 MB

0 / 0

english, 2019

2

Deductive Software Verification – The KeY Book: From Theory to Practice

Deductive Software Verification – The KeY Book: From Theory to Practice

Springer International Publishing

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich (eds.)

წელი:

2016

ენა:

english

ფაილი:

PDF, 8.26 MB

5.0 / 5.0

english, 2016

3

Automated deduction in multiple-valued logics

Automated deduction in multiple-valued logics

Clarendon Press; Oxford University Press

წელი:

1993

ენა:

english

ფაილი:

PDF, 816 KB

0 / 0

english, 1993

4

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Saint Philip Street Press

Wil van der Aalst & Reiner Hähnle [Aalst, Wil van der & Hähnle, Reiner]

წელი:

2020

ენა:

english

ფაილი:

EPUB, 29.12 MB

0 / 0

english, 2020

5

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Michael Hennell (auth.), Bernhard Beckert, Reiner Hähnle (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 1.84 MB

0 / 0

english, 2008

6

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.)

წელი:

2007

ენა:

english

ფაილი:

PDF, 3.94 MB

0 / 0

english, 2007

7

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Anders Schack-Nielsen, Carsten Schürmann (auth.), Jürgen Giesl, Reiner Hähnle (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 6.37 MB

0 / 0

english, 2010

8

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 4.72 MB

0 / 0

english, 2013

9

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Reiner Hähnle & Wil van der Aalst

წელი:

2019

ენა:

english

ფაილი:

PDF, 26.68 MB

0 / 0

english, 2019

10

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

W. Bibel, S. Brüning, U. Egly, D. Korn (auth.), Peter Baumgartner, Reiner Hähnle, Joachim Possega (eds.)

წელი:

1995

ენა:

english

ფაილი:

DJVU, 3.54 MB

0 / 0

english, 1995

11

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Michael Hennell (auth.), Bernhard Beckert, Reiner Hähnle (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 2.96 MB

0 / 0

english, 2008

12

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Anders Schack-Nielsen, Carsten Schürmann (auth.), Jürgen Giesl, Reiner Hähnle (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 6.60 MB

0 / 5.0

english, 2010

13

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 6.24 MB

0 / 0

english, 2013

14

Handbook of Tableau Methods

Handbook of Tableau Methods

M. D'Agostino, Dov M. Gabbay, Reiner Hähnle, J. Posegga

წელი:

1999

ენა:

english

ფაილი:

PDF, 3.24 MB

0 / 0

english, 1999

15

Machine Learning for Dynamic Software Analysis: Potentials and Limits

Machine Learning for Dynamic Software Analysis: Potentials and Limits

Springer International Publishing

Amel Bennaceur, Reiner Hähnle, Karl Meinke

წელი:

2018

ენა:

english

ფაილი:

PDF, 7.48 MB

0 / 0

english, 2018

16

Handbook of Tableau Methods

Handbook of Tableau Methods

Springer Netherlands

Melvin Fitting (auth.), Marcello D’Agostino, Dov M. Gabbay, Reiner Hähnle, Joachim Posegga (eds.)

წელი:

1999

ენა:

english

ფაილი:

PDF, 23.70 MB

0 / 0

english, 1999

17

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Springer International Publishing;Springer

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich

წელი:

2020

ენა:

english

ფაილი:

PDF, 11.58 MB

5.0 / 5.0

english, 2020

18

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Springer International Publishing

Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.)

წელი:

2014

ენა:

english

ფაილი:

PDF, 10.79 MB

0 / 0

english, 2014

19

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.)

წელი:

2007

ენა:

english

ფაილი:

PDF, 5.36 MB

0 / 0

english, 2007

20

Handbook of Tableau Methods

Handbook of Tableau Methods

M. D'Agostino, Dov M. Gabbay, Reiner Hähnle, J. Posegga

წელი:

1999

ენა:

english

ფაილი:

PDF, 3.24 MB

0 / 0

english, 1999

21

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 10.70 MB

0 / 0

english, 2012

22

Handbook of tableau methods

Handbook of tableau methods

Springer Netherlands

Melvin Fitting (auth.), Marcello D’Agostino, Dov M. Gabbay, Reiner Hähnle, Joachim Posegga (eds.)

წელი:

1999

ენა:

english

ფაილი:

DJVU, 5.94 MB

0 / 0

english, 1999

23

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Anders Schack-Nielsen, Carsten Schürmann (auth.), Jürgen Giesl, Reiner Hähnle (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 6.32 MB

0 / 0

english, 2010

24

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Springer International Publishing

Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.)

წელი:

2014

ენა:

english

ფაილი:

PDF, 8.06 MB

0 / 0

english, 2014

25

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Sebastian Götz, Max Leuthäuser, Jan Reimann, Julia Schroeter, Christian Wende (auth.), Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 12.26 MB

0 / 0

english, 2012

26

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

W. Bibel, S. Brüning, U. Egly, D. Korn (auth.), Peter Baumgartner, Reiner Hähnle, Joachim Possega (eds.)

წელი:

1995

ენა:

english

ფაილი:

PDF, 6.37 MB

0 / 0

english, 1995

27

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 14.99 MB

0 / 0

english, 2012